]> dgit.raspbian.org Git - gnome-shell.git/commit
theme: banner buttons
authorJakub Steiner <jimmac@gmail.com>
Fri, 16 Jan 2015 14:26:06 +0000 (15:26 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Fri, 20 Feb 2015 14:14:46 +0000 (15:14 +0100)
commitce38ae64cc0d8740b3f4df01007aec35a65a1e73
tree887009684d5878e77bc122056f4e4419a4c38e78
parent98e6fd9cfbb2bfb182b7f5953a61835a4beebd3b
theme: banner buttons
data/theme/_common.scss
data/theme/gnome-shell-high-contrast.css
data/theme/gnome-shell.css